Obituary: Buchi Emecheta (1944–2017)

Buchi Determinization Made Tighter

By separating the principal acceptance mechanism from the concrete acceptance condition of a given Büchi automaton with n states, Schewe presented the construction of an equivalent deterministic Rabin transition automaton with o((1.65n)n) states via history trees, which can be simply translated to a standard Rabin automaton with o((2.26n)n) states. Apart from the inherent simplicity, Schewe’s c...

Obituary

Obituary Notice

Mrs. Meiklejohn, of St. Paul's, Upper Maze M, Ston January 29th. Her life was spent for the weitare ? many parents could testify to the devotion w i ^ defective children, and She was the first to realise the special _n country. For many years she she opened the first home for such children in defective children, and of was the Principal of this home, and of a home 10 wQmen> another home for dif...

Obituary Notice

Donkin was educated at Blackheath Proprietary School and thence went to Queen's College, Oxford, as an open scholar, graduating in the first class of the Classical Tripos. He graduated as M.B., Oxon, in 1873, and became a F.R.C.P. Lon. in 1880, and during his active professional life held many important appointments and was Harveian Orator in 1910. He was physician and lecturer on Medicine at W...

Obituary Notice